[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 174

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

745 801 1245 852 0 0 0 0 0

N.S.

1 1.08 1.67 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.762 1.270 30.533 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

739 795 1239 840 0 0 0 0 0

N.S.

1 1.08 1.68 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.625 1.601 45.227 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

785 845 1291 933 0 0 0 0 0

N.S.

1 1.08 1.64 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.723 1.649 81.579 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

707 775 1805 1396 0 0 0 0 0

N.S.

1 1.10 2.55 1.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.903 7.513 8.687 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 144 389 941 0 1015 0 0 0

N.S.

1 0.92 2.48 5.99 0.00 6.46 0.00 0.00 0.00

time (sec)

N/A 0.364 0.959 5.551 0.000 0.507 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 189 386 894 0 888 0 0 0

N.S.

1 0.98 2.00 4.63 0.00 4.60 0.00 0.00 0.00

time (sec)

N/A 0.389 0.723 5.549 0.000 0.485 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

685 745 1871 3533 0 0 0 0 0

N.S.

1 1.09 2.73 5.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.818 6.060 2.870 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1124 1188 1819 1822 0 0 0 0 0

N.S.

1 1.06 1.62 1.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.251 6.074 66.801 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1124 1188 1827 1288 0 0 0 0 0

N.S.

1 1.06 1.63 1.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.433 6.067 33.262 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1114 1178 1812 1812 0 0 0 0 0

N.S.

1 1.06 1.63 1.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.274 6.045 94.037 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

403 369 342 0 0 1701 0 0 0

N.S.

1 0.92 0.85 0.00 0.00 4.22 0.00 0.00 0.00

time (sec)

N/A 1.498 1.615 0.000 0.000 2.370 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

294 269 263 0 0 1383 0 0 0

N.S.

1 0.91 0.89 0.00 0.00 4.70 0.00 0.00 0.00

time (sec)

N/A 0.579 1.699 0.000 0.000 1.088 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 179 213 0 0 1100 0 0 0

N.S.

1 0.92 1.09 0.00 0.00 5.64 0.00 0.00 0.00

time (sec)

N/A 0.397 1.589 0.000 0.000 0.523 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.87 1.00 1.17

time (sec)

N/A 0.282 7.660 0.429 0.000 0.273 10.312 0.366 1.184

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.285 4.875 0.738 0.000 0.269 14.239 0.354 1.308

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.272 12.605 0.387 0.000 0.264 116.687 0.331 1.287

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.215 16.513 0.414 0.000 0.256 47.320 0.355 1.169

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.261 1.554 0.344 0.000 0.265 7.258 0.360 1.447

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

328 301 247 0 0 194 0 0 0

N.S.

1 0.92 0.75 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.653 8.120 0.000 0.000 0.111 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

453 412 325 0 0 290 0 0 0

N.S.

1 0.91 0.72 0.00 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.850 10.831 0.000 0.000 0.118 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

374 341 305 0 0 1701 0 0 0

N.S.

1 0.91 0.82 0.00 0.00 4.55 0.00 0.00 0.00

time (sec)

N/A 0.675 1.579 0.000 0.000 2.305 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

262 242 247 0 0 1377 0 0 0

N.S.

1 0.92 0.94 0.00 0.00 5.26 0.00 0.00 0.00

time (sec)

N/A 0.469 1.625 0.000 0.000 1.090 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.87 1.00 1.17

time (sec)

N/A 0.293 7.849 2.136 0.000 0.279 71.460 0.493 1.139

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.301 6.268 2.031 0.000 0.268 61.958 0.376 1.427

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 43 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.87 0.00 1.00 1.17

time (sec)

N/A 0.286 12.552 1.086 0.000 0.257 0.000 0.361 1.403

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 37 0 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.85 0.00 1.00 1.20

time (sec)

N/A 0.219 17.073 1.093 0.000 0.272 0.000 0.358 1.195

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.283 32.885 2.246 0.000 0.265 99.479 0.405 1.540

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.285 8.273 0.376 0.000 0.262 67.227 0.362 1.400

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

416 381 303 0 0 288 0 0 0

N.S.

1 0.92 0.73 0.00 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.799 10.892 0.000 0.000 0.121 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

554 504 383 0 0 395 0 0 0

N.S.

1 0.91 0.69 0.00 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 1.014 11.820 0.000 0.000 0.146 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

321 296 281 0 0 1385 0 0 0

N.S.

1 0.92 0.88 0.00 0.00 4.31 0.00 0.00 0.00

time (sec)

N/A 1.333 2.005 0.000 0.000 1.116 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

225 207 242 0 0 1111 0 0 0

N.S.

1 0.92 1.08 0.00 0.00 4.94 0.00 0.00 0.00

time (sec)

N/A 0.509 1.364 0.000 0.000 0.550 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

132 128 108 0 0 869 0 0 0

N.S.

1 0.97 0.82 0.00 0.00 6.58 0.00 0.00 0.00

time (sec)

N/A 0.348 0.364 0.000 0.000 0.356 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 31 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.35 0.87 1.00 1.17

time (sec)

N/A 0.267 1.144 0.427 0.000 0.253 7.816 0.349 1.263

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 33 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.43 0.96 1.00 1.17

time (sec)

N/A 0.282 4.734 0.817 0.000 0.292 27.725 0.361 1.361

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.264 32.378 0.452 0.000 0.261 54.463 0.350 1.475

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.217 0.630 0.473 0.000 0.284 15.389 0.356 1.167

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

246 231 143 0 0 107 0 0 0

N.S.

1 0.94 0.58 0.00 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.512 1.849 0.000 0.000 0.106 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

362 332 249 0 0 196 0 0 0

N.S.

1 0.92 0.69 0.00 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.714 6.517 0.000 0.000 0.112 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1006 839 329 0 0 291 0 0 0

N.S.

1 0.83 0.33 0.00 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 1.989 8.637 0.000 0.000 0.125 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

252 234 265 0 0 1483 0 0 0

N.S.

1 0.93 1.05 0.00 0.00 5.88 0.00 0.00 0.00

time (sec)

N/A 1.337 1.480 0.000 0.000 0.503 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

157 152 161 0 0 1070 0 0 0

N.S.

1 0.97 1.03 0.00 0.00 6.82 0.00 0.00 0.00

time (sec)

N/A 0.440 1.030 0.000 0.000 0.414 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 79 0 0 283 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 3.54 0.00 0.00 0.00

time (sec)

N/A 0.293 0.239 0.000 0.000 0.310 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 42 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.83 0.87 1.00 1.17

time (sec)

N/A 0.287 8.180 1.748 0.000 0.278 82.808 0.363 1.343

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 44 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.91 0.00 1.00 1.17

time (sec)

N/A 0.306 10.616 2.420 0.000 0.268 0.000 0.360 1.571

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.288 14.410 1.352 0.000 0.260 144.523 0.394 1.502

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.285 5.264 1.476 0.000 0.261 35.071 0.428 1.242

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 113 0 0 74 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.301 1.705 0.000 0.000 0.100 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

274 258 212 0 0 190 0 0 0

N.S.

1 0.94 0.77 0.00 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.571 4.817 0.000 0.000 0.118 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

701 591 277 0 0 331 0 0 0

N.S.

1 0.84 0.40 0.00 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 1.669 6.453 0.000 0.000 0.124 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

244 219 242 0 0 2123 0 0 0

N.S.

1 0.90 0.99 0.00 0.00 8.70 0.00 0.00 0.00

time (sec)

N/A 1.374 1.300 0.000 0.000 0.486 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 148 137 0 0 664 0 0 0

N.S.

1 0.91 0.84 0.00 0.00 4.07 0.00 0.00 0.00

time (sec)

N/A 0.454 0.464 0.000 0.000 0.386 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

138 126 132 0 0 571 0 0 0

N.S.

1 0.91 0.96 0.00 0.00 4.14 0.00 0.00 0.00

time (sec)

N/A 0.327 0.446 0.000 0.000 0.356 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 53 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.30 0.00 1.00 1.17

time (sec)

N/A 0.300 14.073 1.816 0.000 0.267 0.000 0.379 1.284

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 55 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.39 0.00 1.00 1.17

time (sec)

N/A 0.318 15.460 2.326 0.000 0.264 0.000 0.382 1.578

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.300 14.359 1.362 0.000 0.271 0.000 0.390 1.560

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.293 13.525 1.423 0.000 0.271 0.000 0.436 1.390

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

276 251 186 0 0 286 0 0 0

N.S.

1 0.91 0.67 0.00 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.530 0.310 0.000 0.000 0.116 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

296 271 248 0 0 348 0 0 0

N.S.

1 0.92 0.84 0.00 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.535 4.127 0.000 0.000 0.127 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

631 540 323 0 0 536 0 0 0

N.S.

1 0.86 0.51 0.00 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 1.673 7.593 0.000 0.000 0.145 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

589 542 400 0 0 0 0 0 0

N.S.

1 0.92 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.147 3.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

374 345 291 0 0 0 0 0 0

N.S.

1 0.92 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.661 0.473 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

178 203 169 0 0 0 0 0 0

N.S.

1 1.14 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.402 0.328 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 25 20 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.87 1.09 1.26

time (sec)

N/A 0.253 2.293 2.823 0.548 0.271 39.070 0.323 0.910

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 36 0 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.57 0.00 1.09 1.26

time (sec)

N/A 0.260 4.060 2.532 0.562 0.285 0.000 0.330 0.903

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 42 0 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.68 0.00 1.00 1.16

time (sec)

N/A 0.286 0.957 2.255 0.519 0.273 0.000 0.354 0.949

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.280 0.123 0.895 0.384 0.277 52.552 0.350 0.877

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.279 0.921 1.103 0.407 0.281 22.423 0.352 0.964

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 45 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.80 0.96 1.00 1.16

time (sec)

N/A 0.301 1.101 2.091 0.412 0.274 140.345 0.353 0.989

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

401 227 194 0 0 238 0 0 0

N.S.

1 0.57 0.48 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 1.617 0.239 0.000 0.000 0.297 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

268 156 159 0 0 181 0 0 0

N.S.

1 0.58 0.59 0.00 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 1.226 0.279 0.000 0.000 0.279 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 101 118 0 0 125 0 0 0

N.S.

1 0.80 0.94 0.00 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.424 0.222 0.000 0.000 0.275 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 87 37 34 26 30

N.S.

1 1.00 1.08 0.92 3.35 1.42 1.31 1.00 1.15

time (sec)

N/A 0.277 0.637 0.273 0.483 0.264 11.186 0.376 1.811

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 111 39 36 26 30

N.S.

1 1.00 1.08 0.92 4.27 1.50 1.38 1.00 1.15

time (sec)

N/A 0.294 8.065 3.075 0.493 0.259 82.450 0.354 1.446

[prev] [prev-tail] [front] [up]